ANSI-C 相关硕士博士期刊学术论文 - 皮皮文库

ANSI-C相关论文

C／S模式下应用C及VBScript语言实现WinCC组态加密

综合运用ANSI-C和VBScript语言编制加密程序，实现了执行动作的授权化、组态环境和运行环境的分离以及运行环境的安全退出等功能。设......

期刊

WINCC 加密 C/S模式 C VBScfipt WinCC encryption C/S model ANSI-C VBScript

面向自动化模型检测的模型提取工具的设计与实现

随着计算机软件日益复杂,如何保证其正确性和可靠性成为十分紧迫的问题。模型检测是一种验证有限状态系统的时序逻辑属性的形式化......

学位

形式化方法模型检测模型提取 ANSI-C SPIN PROMELA

看过本文同时还关注